projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a569c6f) | patch
docs/gen-html-index: Extract titles from HTML documents
authorIan Jackson <ian.jackson@eu.citrix.com>
Fri, 6 Apr 2018 18:09:02 +0000 (19:09 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Thu, 12 Apr 2018 15:13:39 +0000 (16:13 +0100)
commit7782db9260d4c6499458de4e8d9866bc0427e143
tree1e41cef587429b1383d8786768d70011da4c3ec5tree | snapshot
parenta569c6f815fb6a18c64b8f122f5e2bbecd444432commit | diff
docs/gen-html-index: Extract titles from HTML documents

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Release-acked-by: Juergen Gross <jgross@suse.com>
Acked-by: Lars Kurth <lars.kurth@citrix.com>
docs/gen-html-index diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.